Improving Dynamic Code Analysis by Code Abstraction

In this paper, our aim is to propose a model for code abstraction, based on abstract interpretation, allowing us improve the precision of recently proposed static analysis by interpretation dynamic languages. The problem we tackle here that may add some spurious string-to-execute value and need representations in order make it analyzable. This precisely what here, where drive abstraction have perform.